TSTP Solution File: RAL044^1 by Nitpick---2016